The Topological Structure of Adherences of Regular Languages

— The topological structure of the adhérence of a regular language is characterized by afînite invariant structure that can be algorithmically constructed from any automaton recognizing the language. Homeomorphism of the adhérences of regular languages can be decided by constructing and comparing their associated invariant structures. These results are obtained by applying concepts and analyses given by R. S. Pierce in his study of zero-dimensional compact metric spaces offinite type. Résumé. — La structure topologique de ï'adhérence d'un langage rationnel est caractérisée par une structure invariante finie qui peut être construite par un algorithme à partir d'un automate reconnaissant le langage. Vhoméomorphie de deux adhérences de langages rationnels peut être décidée en construisant et en comparant les structures invariantes qui leur sont associées. Ces résultats sont obtenus en employant des concepts et analyses développées par R. S. Pierce dans son étude des espaces métriques compacts de dimension zéro et de type fini.